Tinit=0.04 (sec) 
Column 0
  partition of net 0 size=4
  partition of net 1 size=0 exp is true!
Column 1
  partition of net 0 size=49
  partition of net 1 size=16
  partition of net 2 size=0 exp is true!
Column 2
  partition of net 0 size=47
  partition of net 1 size=19
  partition of net 2 size=0 exp is true!
Column 3
  partition of net 0 size=7
  partition of net 2 size=0 exp is true!
Column 4
  partition of net 0 size=0 exp is true!
Column partitions Netpatitions
 Colpartition: 0
 Netpatitions
  Netpartition: 0
   exp_size: 4
   varsetf: <0:1, 2:1>
   varsetb: <1:1, 3:1>
  Netpartition: 1
   exp_size: 0
   varsetf: <4:1, 6:1>
   varsetb: <5:1, 7:1>

 g-h map
  ghmap[0,0].size = 3
  bdd: 
  <1:0, 3:0, 7:1>

  ghmap[1,-1].size = 3
  bdd:
  <1:0, 3:1, 7:1>
  <1:1, 7:1>

  ghmap[1,0].size = 4
  bdd:
  <1:0, 3:0, 5:0, 7:0>

  ghmap[1,1].size = 4
  bdd:
  <1:0, 3:0, 5:1, 7:0>

  ghmap[2,-1].size = 4
  bdd:
  <1:0, 3:1, 5:0, 7:0>
  <1:1, 5:0, 7:0>

  ghmap[2,0].size = 4
  bdd:
  <1:0, 3:1, 5:1, 7:0>
  <1:1, 5:1, 7:0>

 Colpartition: 1
 Netpatitions
  Netpartition: 0
   exp_size: 49
   varsetf: <0:1, 2:1>
   varsetb: <1:1, 3:1>
  Netpartition: 1
   exp_size: 16
   varsetf: <4:1, 6:1>
   varsetb: <5:1, 7:1>
  Netpartition: 2
   exp_size: 0
   varsetf: <8:1, 10:1>
   varsetb: <9:1, 11:1>

 g-h map
  ghmap[0,0].size = 14
  bdd:
<0:0, 1:0, 2:0, 3:0, 4:0, 5:0, 6:0, 7:0, 9:0, 11:1>
<0:0, 1:0, 2:0, 3:0, 4:0, 5:0, 6:1, 7:1, 9:0, 11:1>
<0:0, 1:0, 2:0, 3:0, 4:1, 5:1, 6:0, 7:0, 9:0, 11:1>
<0:0, 1:0, 2:0, 3:0, 4:1, 5:1, 6:1, 7:1, 9:0, 11:1>
<0:0, 1:0, 2:1, 3:1, 4:0, 5:0, 6:0, 7:0, 9:0, 11:1>
<0:0, 1:0, 2:1, 3:1, 4:0, 5:0, 6:1, 7:1, 9:0, 11:1>
<0:0, 1:0, 2:1, 3:1, 4:1, 5:1, 6:0, 7:0, 9:0, 11:1>
<0:0, 1:0, 2:1, 3:1, 4:1, 5:1, 6:1, 7:1, 9:0, 11:1>
<0:1, 1:1, 2:0, 3:0, 4:0, 5:0, 6:0, 7:0, 9:0, 11:1>
<0:1, 1:1, 2:0, 3:0, 4:0, 5:0, 6:1, 7:1, 9:0, 11:1>
<0:1, 1:1, 2:0, 3:0, 4:1, 5:1, 6:0, 7:0, 9:0, 11:1>
<0:1, 1:1, 2:0, 3:0, 4:1, 5:1, 6:1, 7:1, 9:0, 11:1>
<0:1, 1:1, 2:1, 3:1, 4:0, 5:0, 6:0, 7:0, 9:0, 11:1>
<0:1, 1:1, 2:1, 3:1, 4:0, 5:0, 6:1, 7:1, 9:0, 11:1>
<0:1, 1:1, 2:1, 3:1, 4:1, 5:1, 6:0, 7:0, 9:0, 11:1>
<0:1, 1:1, 2:1, 3:1, 4:1, 5:1, 6:1, 7:1, 9:0, 11:1>
  ghmap[1,0].size = 14
  bdd:
<0:0, 1:0, 2:0, 3:0, 4:0, 5:0, 6:0, 7:0, 9:0, 11:0>
<0:0, 1:0, 2:0, 3:0, 4:0, 5:0, 6:1, 7:1, 9:0, 11:0>
<0:0, 1:0, 2:0, 3:0, 4:1, 5:1, 6:0, 7:0, 9:0, 11:0>
<0:0, 1:0, 2:0, 3:0, 4:1, 5:1, 6:1, 7:1, 9:0, 11:0>
<0:0, 1:0, 2:1, 3:1, 4:0, 5:0, 6:0, 7:0, 9:0, 11:0>
<0:0, 1:0, 2:1, 3:1, 4:0, 5:0, 6:1, 7:1, 9:0, 11:0>
<0:0, 1:0, 2:1, 3:1, 4:1, 5:1, 6:0, 7:0, 9:0, 11:0>
<0:0, 1:0, 2:1, 3:1, 4:1, 5:1, 6:1, 7:1, 9:0, 11:0>
<0:1, 1:1, 2:0, 3:0, 4:0, 5:0, 6:0, 7:0, 9:0, 11:0>
<0:1, 1:1, 2:0, 3:0, 4:0, 5:0, 6:1, 7:1, 9:0, 11:0>
<0:1, 1:1, 2:0, 3:0, 4:1, 5:1, 6:0, 7:0, 9:0, 11:0>
<0:1, 1:1, 2:0, 3:0, 4:1, 5:1, 6:1, 7:1, 9:0, 11:0>
<0:1, 1:1, 2:1, 3:1, 4:0, 5:0, 6:0, 7:0, 9:0, 11:0>
<0:1, 1:1, 2:1, 3:1, 4:0, 5:0, 6:1, 7:1, 9:0, 11:0>
<0:1, 1:1, 2:1, 3:1, 4:1, 5:1, 6:0, 7:0, 9:0, 11:0>
<0:1, 1:1, 2:1, 3:1, 4:1, 5:1, 6:1, 7:1, 9:0, 11:0>
  ghmap[1,1].size = 13
  bdd:
<0:0, 1:0, 2:0, 3:0, 4:0, 5:0, 6:0, 7:0, 9:1>
<0:0, 1:0, 2:0, 3:0, 4:0, 5:0, 6:1, 7:1, 9:1>
<0:0, 1:0, 2:0, 3:0, 4:1, 5:1, 6:0, 7:0, 9:1>
<0:0, 1:0, 2:0, 3:0, 4:1, 5:1, 6:1, 7:1, 9:1>
<0:0, 1:0, 2:1, 3:1, 4:0, 5:0, 6:0, 7:0, 9:1>
<0:0, 1:0, 2:1, 3:1, 4:0, 5:0, 6:1, 7:1, 9:1>
<0:0, 1:0, 2:1, 3:1, 4:1, 5:1, 6:0, 7:0, 9:1>
<0:0, 1:0, 2:1, 3:1, 4:1, 5:1, 6:1, 7:1, 9:1>
<0:1, 1:1, 2:0, 3:0, 4:0, 5:0, 6:0, 7:0, 9:1>
<0:1, 1:1, 2:0, 3:0, 4:0, 5:0, 6:1, 7:1, 9:1>
<0:1, 1:1, 2:0, 3:0, 4:1, 5:1, 6:0, 7:0, 9:1>
<0:1, 1:1, 2:0, 3:0, 4:1, 5:1, 6:1, 7:1, 9:1>
<0:1, 1:1, 2:1, 3:1, 4:0, 5:0, 6:0, 7:0, 9:1>
<0:1, 1:1, 2:1, 3:1, 4:0, 5:0, 6:1, 7:1, 9:1>
<0:1, 1:1, 2:1, 3:1, 4:1, 5:1, 6:0, 7:0, 9:1>
<0:1, 1:1, 2:1, 3:1, 4:1, 5:1, 6:1, 7:1, 9:1>
  ghmap[2,-1].size = 21
  bdd:
<0:0, 1:0, 2:0, 3:0, 4:1, 5:0, 6:0, 9:0, 11:1><0:0, 1:0, 2:0, 3:0, 4:1, 5:1, 6:0, 7:1, 9:0, 11:1><0:0, 1:0, 2:0, 3:1, 4:0, 5:0, 6:0, 7:0, 9:0, 11:1><0:0, 1:0, 2:0, 3:1, 4:0, 5:0, 6:1, 7:1, 9:0, 11:1><0:0, 1:0, 2:0, 3:1, 4:1, 5:1, 6:0, 7:0, 9:0, 11:1><0:0, 1:0, 2:0, 3:1, 4:1, 5:1, 6:1, 7:1, 9:0, 11:1><0:0, 1:0, 2:1, 3:1, 4:1, 5:0, 6:0, 9:0, 11:1><0:0, 1:0, 2:1, 3:1, 4:1, 5:1, 6:0, 7:1, 9:0, 11:1><0:0, 1:1, 2:0, 4:0, 5:0, 6:0, 7:0, 9:0, 11:1><0:0, 1:1, 2:0, 4:0, 5:0, 6:1, 7:1, 9:0, 11:1><0:0, 1:1, 2:0, 4:1, 5:1, 6:0, 7:0, 9:0, 11:1><0:0, 1:1, 2:0, 4:1, 5:1, 6:1, 7:1, 9:0, 11:1><0:1, 1:1, 2:0, 3:0, 4:1, 5:0, 6:0, 9:0, 11:1><0:1, 1:1, 2:0, 3:0, 4:1, 5:1, 6:0, 7:1, 9:0, 11:1><0:1, 1:1, 2:1, 3:1, 4:1, 5:0, 6:0, 9:0, 11:1><0:1, 1:1, 2:1, 3:1, 4:1, 5:1, 6:0, 7:1, 9:0, 11:1>
  ghmap[2,0].size = 24
  bdd:
<0:0, 1:0, 2:0, 3:0, 4:0, 5:0, 6:0, 7:1, 9:0, 11:1><0:0, 1:0, 2:0, 3:0, 4:0, 5:0, 6:1, 7:0, 9:0, 11:1><0:0, 1:0, 2:0, 3:0, 4:0, 5:1, 7:1, 9:0, 11:1><0:0, 1:0, 2:0, 3:0, 4:1, 5:0, 6:1, 9:0, 11:1><0:0, 1:0, 2:1, 3:1, 4:0, 5:0, 6:0, 7:1, 9:0, 11:1><0:0, 1:0, 2:1, 3:1, 4:0, 5:0, 6:1, 7:0, 9:0, 11:1><0:0, 1:0, 2:1, 3:1, 4:0, 5:1, 7:1, 9:0, 11:1><0:0, 1:0, 2:1, 3:1, 4:1, 5:0, 6:1, 9:0, 11:1><0:0, 1:1, 2:1, 4:0, 5:0, 6:0, 7:0, 9:0, 11:1><0:0, 1:1, 2:1, 4:0, 5:0, 6:1, 7:1, 9:0, 11:1><0:0, 1:1, 2:1, 4:1, 5:1, 6:0, 7:0, 9:0, 11:1><0:0, 1:1, 2:1, 4:1, 5:1, 6:1, 7:1, 9:0, 11:1><0:1, 1:0, 3:1, 4:0, 5:0, 6:0, 7:0, 9:0, 11:1><0:1, 1:0, 3:1, 4:0, 5:0, 6:1, 7:1, 9:0, 11:1><0:1, 1:0, 3:1, 4:1, 5:1, 6:0, 7:0, 9:0, 11:1><0:1, 1:0, 3:1, 4:1, 5:1, 6:1, 7:1, 9:0, 11:1><0:1, 1:1, 2:0, 3:0, 4:0, 5:0, 6:0, 7:1, 9:0, 11:1><0:1, 1:1, 2:0, 3:0, 4:0, 5:0, 6:1, 7:0, 9:0, 11:1><0:1, 1:1, 2:0, 3:0, 4:0, 5:1, 7:1, 9:0, 11:1><0:1, 1:1, 2:0, 3:0, 4:1, 5:0, 6:1, 9:0, 11:1><0:1, 1:1, 2:0, 3:1, 4:0, 5:0, 6:0, 7:0, 9:0, 11:1><0:1, 1:1, 2:0, 3:1, 4:0, 5:0, 6:1, 7:1, 9:0, 11:1><0:1, 1:1, 2:0, 3:1, 4:1, 5:1, 6:0, 7:0, 9:0, 11:1><0:1, 1:1, 2:0, 3:1, 4:1, 5:1, 6:1, 7:1, 9:0, 11:1><0:1, 1:1, 2:1, 3:0, 4:0, 5:0, 6:0, 7:0, 9:0, 11:1><0:1, 1:1, 2:1, 3:0, 4:0, 5:0, 6:1, 7:1, 9:0, 11:1><0:1, 1:1, 2:1, 3:0, 4:1, 5:1, 6:0, 7:0, 9:0, 11:1><0:1, 1:1, 2:1, 3:0, 4:1, 5:1, 6:1, 7:1, 9:0, 11:1><0:1, 1:1, 2:1, 3:1, 4:0, 5:0, 6:0, 7:1, 9:0, 11:1><0:1, 1:1, 2:1, 3:1, 4:0, 5:0, 6:1, 7:0, 9:0, 11:1><0:1, 1:1, 2:1, 3:1, 4:0, 5:1, 7:1, 9:0, 11:1><0:1, 1:1, 2:1, 3:1, 4:1, 5:0, 6:1, 9:0, 11:1>
  ghmap[2,1].size = 21
  bdd:
<0:0, 1:0, 2:0, 3:0, 4:0, 5:1, 7:0, 9:0, 11:1><0:0, 1:0, 2:0, 3:0, 4:1, 5:1, 6:1, 7:0, 9:0, 11:1><0:0, 1:0, 2:1, 3:0, 4:0, 5:0, 6:0, 7:0, 9:0, 11:1><0:0, 1:0, 2:1, 3:0, 4:0, 5:0, 6:1, 7:1, 9:0, 11:1><0:0, 1:0, 2:1, 3:0, 4:1, 5:1, 6:0, 7:0, 9:0, 11:1><0:0, 1:0, 2:1, 3:0, 4:1, 5:1, 6:1, 7:1, 9:0, 11:1><0:0, 1:0, 2:1, 3:1, 4:0, 5:1, 7:0, 9:0, 11:1><0:0, 1:0, 2:1, 3:1, 4:1, 5:1, 6:1, 7:0, 9:0, 11:1><0:1, 1:0, 3:0, 4:0, 5:0, 6:0, 7:0, 9:0, 11:1><0:1, 1:0, 3:0, 4:0, 5:0, 6:1, 7:1, 9:0, 11:1><0:1, 1:0, 3:0, 4:1, 5:1, 6:0, 7:0, 9:0, 11:1><0:1, 1:0, 3:0, 4:1, 5:1, 6:1, 7:1, 9:0, 11:1><0:1, 1:1, 2:0, 3:0, 4:0, 5:1, 7:0, 9:0, 11:1><0:1, 1:1, 2:0, 3:0, 4:1, 5:1, 6:1, 7:0, 9:0, 11:1><0:1, 1:1, 2:1, 3:1, 4:0, 5:1, 7:0, 9:0, 11:1><0:1, 1:1, 2:1, 3:1, 4:1, 5:1, 6:1, 7:0, 9:0, 11:1>
  ghmap[3,-1].size = 21
  bdd:
<0:0, 1:0, 2:0, 3:0, 4:1, 5:0, 6:0, 9:0, 11:0><0:0, 1:0, 2:0, 3:0, 4:1, 5:1, 6:0, 7:1, 9:0, 11:0><0:0, 1:0, 2:0, 3:1, 4:0, 5:0, 6:0, 7:0, 9:0, 11:0><0:0, 1:0, 2:0, 3:1, 4:0, 5:0, 6:1, 7:1, 9:0, 11:0><0:0, 1:0, 2:0, 3:1, 4:1, 5:1, 6:0, 7:0, 9:0, 11:0><0:0, 1:0, 2:0, 3:1, 4:1, 5:1, 6:1, 7:1, 9:0, 11:0><0:0, 1:0, 2:1, 3:1, 4:1, 5:0, 6:0, 9:0, 11:0><0:0, 1:0, 2:1, 3:1, 4:1, 5:1, 6:0, 7:1, 9:0, 11:0><0:0, 1:1, 2:0, 4:0, 5:0, 6:0, 7:0, 9:0, 11:0><0:0, 1:1, 2:0, 4:0, 5:0, 6:1, 7:1, 9:0, 11:0><0:0, 1:1, 2:0, 4:1, 5:1, 6:0, 7:0, 9:0, 11:0><0:0, 1:1, 2:0, 4:1, 5:1, 6:1, 7:1, 9:0, 11:0><0:1, 1:1, 2:0, 3:0, 4:1, 5:0, 6:0, 9:0, 11:0><0:1, 1:1, 2:0, 3:0, 4:1, 5:1, 6:0, 7:1, 9:0, 11:0><0:1, 1:1, 2:1, 3:1, 4:1, 5:0, 6:0, 9:0, 11:0><0:1, 1:1, 2:1, 3:1, 4:1, 5:1, 6:0, 7:1, 9:0, 11:0>
  ghmap[3,0].size = 32
  bdd:
<0:0, 1:0, 2:0, 3:0, 4:0, 5:0, 6:0, 7:1, 9:0, 11:0><0:0, 1:0, 2:0, 3:0, 4:0, 5:0, 6:1, 7:0, 9:0, 11:0><0:0, 1:0, 2:0, 3:0, 4:0, 5:1, 7:1, 9:0, 11:0><0:0, 1:0, 2:0, 3:0, 4:1, 5:0, 6:0, 9:1><0:0, 1:0, 2:0, 3:0, 4:1, 5:0, 6:1, 9:0, 11:0><0:0, 1:0, 2:0, 3:0, 4:1, 5:1, 6:0, 7:1, 9:1><0:0, 1:0, 2:0, 3:1, 4:0, 5:0, 6:0, 7:0, 9:1><0:0, 1:0, 2:0, 3:1, 4:0, 5:0, 6:1, 7:1, 9:1><0:0, 1:0, 2:0, 3:1, 4:1, 5:1, 6:0, 7:0, 9:1><0:0, 1:0, 2:0, 3:1, 4:1, 5:1, 6:1, 7:1, 9:1><0:0, 1:0, 2:1, 3:1, 4:0, 5:0, 6:0, 7:1, 9:0, 11:0><0:0, 1:0, 2:1, 3:1, 4:0, 5:0, 6:1, 7:0, 9:0, 11:0><0:0, 1:0, 2:1, 3:1, 4:0, 5:1, 7:1, 9:0, 11:0><0:0, 1:0, 2:1, 3:1, 4:1, 5:0, 6:0, 9:1><0:0, 1:0, 2:1, 3:1, 4:1, 5:0, 6:1, 9:0, 11:0><0:0, 1:0, 2:1, 3:1, 4:1, 5:1, 6:0, 7:1, 9:1><0:0, 1:1, 2:0, 4:0, 5:0, 6:0, 7:0, 9:1><0:0, 1:1, 2:0, 4:0, 5:0, 6:1, 7:1, 9:1><0:0, 1:1, 2:0, 4:1, 5:1, 6:0, 7:0, 9:1><0:0, 1:1, 2:0, 4:1, 5:1, 6:1, 7:1, 9:1><0:0, 1:1, 2:1, 4:0, 5:0, 6:0, 7:0, 9:0, 11:0><0:0, 1:1, 2:1, 4:0, 5:0, 6:1, 7:1, 9:0, 11:0><0:0, 1:1, 2:1, 4:1, 5:1, 6:0, 7:0, 9:0, 11:0><0:0, 1:1, 2:1, 4:1, 5:1, 6:1, 7:1, 9:0, 11:0><0:1, 1:0, 3:1, 4:0, 5:0, 6:0, 7:0, 9:0, 11:0><0:1, 1:0, 3:1, 4:0, 5:0, 6:1, 7:1, 9:0, 11:0><0:1, 1:0, 3:1, 4:1, 5:1, 6:0, 7:0, 9:0, 11:0><0:1, 1:0, 3:1, 4:1, 5:1, 6:1, 7:1, 9:0, 11:0><0:1, 1:1, 2:0, 3:0, 4:0, 5:0, 6:0, 7:1, 9:0, 11:0><0:1, 1:1, 2:0, 3:0, 4:0, 5:0, 6:1, 7:0, 9:0, 11:0><0:1, 1:1, 2:0, 3:0, 4:0, 5:1, 7:1, 9:0, 11:0><0:1, 1:1, 2:0, 3:0, 4:1, 5:0, 6:0, 9:1><0:1, 1:1, 2:0, 3:0, 4:1, 5:0, 6:1, 9:0, 11:0><0:1, 1:1, 2:0, 3:0, 4:1, 5:1, 6:0, 7:1, 9:1><0:1, 1:1, 2:0, 3:1, 4:0, 5:0, 6:0, 7:0, 9:0, 11:0><0:1, 1:1, 2:0, 3:1, 4:0, 5:0, 6:1, 7:1, 9:0, 11:0><0:1, 1:1, 2:0, 3:1, 4:1, 5:1, 6:0, 7:0, 9:0, 11:0><0:1, 1:1, 2:0, 3:1, 4:1, 5:1, 6:1, 7:1, 9:0, 11:0><0:1, 1:1, 2:1, 3:0, 4:0, 5:0, 6:0, 7:0, 9:0, 11:0><0:1, 1:1, 2:1, 3:0, 4:0, 5:0, 6:1, 7:1, 9:0, 11:0><0:1, 1:1, 2:1, 3:0, 4:1, 5:1, 6:0, 7:0, 9:0, 11:0><0:1, 1:1, 2:1, 3:0, 4:1, 5:1, 6:1, 7:1, 9:0, 11:0><0:1, 1:1, 2:1, 3:1, 4:0, 5:0, 6:0, 7:1, 9:0, 11:0><0:1, 1:1, 2:1, 3:1, 4:0, 5:0, 6:1, 7:0, 9:0, 11:0><0:1, 1:1, 2:1, 3:1, 4:0, 5:1, 7:1, 9:0, 11:0><0:1, 1:1, 2:1, 3:1, 4:1, 5:0, 6:0, 9:1><0:1, 1:1, 2:1, 3:1, 4:1, 5:0, 6:1, 9:0, 11:0><0:1, 1:1, 2:1, 3:1, 4:1, 5:1, 6:0, 7:1, 9:1>
  ghmap[3,1].size = 33
  bdd:
<0:0, 1:0, 2:0, 3:0, 4:0, 5:0, 6:0, 7:1, 9:1><0:0, 1:0, 2:0, 3:0, 4:0, 5:0, 6:1, 7:0, 9:1><0:0, 1:0, 2:0, 3:0, 4:0, 5:1, 7:0, 9:0, 11:0><0:0, 1:0, 2:0, 3:0, 4:0, 5:1, 7:1, 9:1><0:0, 1:0, 2:0, 3:0, 4:1, 5:0, 6:1, 9:1><0:0, 1:0, 2:0, 3:0, 4:1, 5:1, 6:1, 7:0, 9:0, 11:0><0:0, 1:0, 2:1, 3:0, 4:0, 5:0, 6:0, 7:0, 9:0, 11:0><0:0, 1:0, 2:1, 3:0, 4:0, 5:0, 6:1, 7:1, 9:0, 11:0><0:0, 1:0, 2:1, 3:0, 4:1, 5:1, 6:0, 7:0, 9:0, 11:0><0:0, 1:0, 2:1, 3:0, 4:1, 5:1, 6:1, 7:1, 9:0, 11:0><0:0, 1:0, 2:1, 3:1, 4:0, 5:0, 6:0, 7:1, 9:1><0:0, 1:0, 2:1, 3:1, 4:0, 5:0, 6:1, 7:0, 9:1><0:0, 1:0, 2:1, 3:1, 4:0, 5:1, 7:0, 9:0, 11:0><0:0, 1:0, 2:1, 3:1, 4:0, 5:1, 7:1, 9:1><0:0, 1:0, 2:1, 3:1, 4:1, 5:0, 6:1, 9:1><0:0, 1:0, 2:1, 3:1, 4:1, 5:1, 6:1, 7:0, 9:0, 11:0><0:0, 1:1, 2:1, 4:0, 5:0, 6:0, 7:0, 9:1><0:0, 1:1, 2:1, 4:0, 5:0, 6:1, 7:1, 9:1><0:0, 1:1, 2:1, 4:1, 5:1, 6:0, 7:0, 9:1><0:0, 1:1, 2:1, 4:1, 5:1, 6:1, 7:1, 9:1><0:1, 1:0, 3:0, 4:0, 5:0, 6:0, 7:0, 9:0, 11:0><0:1, 1:0, 3:0, 4:0, 5:0, 6:1, 7:1, 9:0, 11:0><0:1, 1:0, 3:0, 4:1, 5:1, 6:0, 7:0, 9:0, 11:0><0:1, 1:0, 3:0, 4:1, 5:1, 6:1, 7:1, 9:0, 11:0><0:1, 1:0, 3:1, 4:0, 5:0, 6:0, 7:0, 9:1><0:1, 1:0, 3:1, 4:0, 5:0, 6:1, 7:1, 9:1><0:1, 1:0, 3:1, 4:1, 5:1, 6:0, 7:0, 9:1><0:1, 1:0, 3:1, 4:1, 5:1, 6:1, 7:1, 9:1><0:1, 1:1, 2:0, 3:0, 4:0, 5:0, 6:0, 7:1, 9:1><0:1, 1:1, 2:0, 3:0, 4:0, 5:0, 6:1, 7:0, 9:1><0:1, 1:1, 2:0, 3:0, 4:0, 5:1, 7:0, 9:0, 11:0><0:1, 1:1, 2:0, 3:0, 4:0, 5:1, 7:1, 9:1><0:1, 1:1, 2:0, 3:0, 4:1, 5:0, 6:1, 9:1><0:1, 1:1, 2:0, 3:0, 4:1, 5:1, 6:1, 7:0, 9:0, 11:0><0:1, 1:1, 2:0, 3:1, 4:0, 5:0, 6:0, 7:0, 9:1><0:1, 1:1, 2:0, 3:1, 4:0, 5:0, 6:1, 7:1, 9:1><0:1, 1:1, 2:0, 3:1, 4:1, 5:1, 6:0, 7:0, 9:1><0:1, 1:1, 2:0, 3:1, 4:1, 5:1, 6:1, 7:1, 9:1><0:1, 1:1, 2:1, 3:0, 4:0, 5:0, 6:0, 7:0, 9:1><0:1, 1:1, 2:1, 3:0, 4:0, 5:0, 6:1, 7:1, 9:1><0:1, 1:1, 2:1, 3:0, 4:1, 5:1, 6:0, 7:0, 9:1><0:1, 1:1, 2:1, 3:0, 4:1, 5:1, 6:1, 7:1, 9:1><0:1, 1:1, 2:1, 3:1, 4:0, 5:0, 6:0, 7:1, 9:1><0:1, 1:1, 2:1, 3:1, 4:0, 5:0, 6:1, 7:0, 9:1><0:1, 1:1, 2:1, 3:1, 4:0, 5:1, 7:0, 9:0, 11:0><0:1, 1:1, 2:1, 3:1, 4:0, 5:1, 7:1, 9:1><0:1, 1:1, 2:1, 3:1, 4:1, 5:0, 6:1, 9:1><0:1, 1:1, 2:1, 3:1, 4:1, 5:1, 6:1, 7:0, 9:0, 11:0>
  ghmap[3,2].size = 20
  bdd:
<0:0, 1:0, 2:0, 3:0, 4:0, 5:1, 7:0, 9:1><0:0, 1:0, 2:0, 3:0, 4:1, 5:1, 6:1, 7:0, 9:1><0:0, 1:0, 2:1, 3:0, 4:0, 5:0, 6:0, 7:0, 9:1><0:0, 1:0, 2:1, 3:0, 4:0, 5:0, 6:1, 7:1, 9:1><0:0, 1:0, 2:1, 3:0, 4:1, 5:1, 6:0, 7:0, 9:1><0:0, 1:0, 2:1, 3:0, 4:1, 5:1, 6:1, 7:1, 9:1><0:0, 1:0, 2:1, 3:1, 4:0, 5:1, 7:0, 9:1><0:0, 1:0, 2:1, 3:1, 4:1, 5:1, 6:1, 7:0, 9:1><0:1, 1:0, 3:0, 4:0, 5:0, 6:0, 7:0, 9:1><0:1, 1:0, 3:0, 4:0, 5:0, 6:1, 7:1, 9:1><0:1, 1:0, 3:0, 4:1, 5:1, 6:0, 7:0, 9:1><0:1, 1:0, 3:0, 4:1, 5:1, 6:1, 7:1, 9:1><0:1, 1:1, 2:0, 3:0, 4:0, 5:1, 7:0, 9:1><0:1, 1:1, 2:0, 3:0, 4:1, 5:1, 6:1, 7:0, 9:1><0:1, 1:1, 2:1, 3:1, 4:0, 5:1, 7:0, 9:1><0:1, 1:1, 2:1, 3:1, 4:1, 5:1, 6:1, 7:0, 9:1>
  ghmap[4,-2].size = 12
  bdd:
<0:0, 1:0, 2:0, 3:1, 4:1, 5:0, 6:0, 9:0, 11:1><0:0, 1:0, 2:0, 3:1, 4:1, 5:1, 6:0, 7:1, 9:0, 11:1><0:0, 1:1, 2:0, 4:1, 5:0, 6:0, 9:0, 11:1><0:0, 1:1, 2:0, 4:1, 5:1, 6:0, 7:1, 9:0, 11:1>
  ghmap[4,-1].size = 22
  bdd:
<0:0, 1:0, 2:0, 3:1, 4:0, 5:0, 6:0, 7:1, 9:0, 11:1><0:0, 1:0, 2:0, 3:1, 4:0, 5:0, 6:1, 7:0, 9:0, 11:1><0:0, 1:0, 2:0, 3:1, 4:0, 5:1, 7:1, 9:0, 11:1><0:0, 1:0, 2:0, 3:1, 4:1, 5:0, 6:1, 9:0, 11:1><0:0, 1:1, 2:0, 4:0, 5:0, 6:0, 7:1, 9:0, 11:1><0:0, 1:1, 2:0, 4:0, 5:0, 6:1, 7:0, 9:0, 11:1><0:0, 1:1, 2:0, 4:0, 5:1, 7:1, 9:0, 11:1><0:0, 1:1, 2:0, 4:1, 5:0, 6:1, 9:0, 11:1><0:0, 1:1, 2:1, 4:1, 5:0, 6:0, 9:0, 11:1><0:0, 1:1, 2:1, 4:1, 5:1, 6:0, 7:1, 9:0, 11:1><0:1, 1:0, 3:1, 4:1, 5:0, 6:0, 9:0, 11:1><0:1, 1:0, 3:1, 4:1, 5:1, 6:0, 7:1, 9:0, 11:1><0:1, 1:1, 2:0, 3:1, 4:1, 5:0, 6:0, 9:0, 11:1><0:1, 1:1, 2:0, 3:1, 4:1, 5:1, 6:0, 7:1, 9:0, 11:1><0:1, 1:1, 2:1, 3:0, 4:1, 5:0, 6:0, 9:0, 11:1><0:1, 1:1, 2:1, 3:0, 4:1, 5:1, 6:0, 7:1, 9:0, 11:1>
  ghmap[4,0].size = 28
  bdd:
<0:0, 1:0, 2:0, 3:1, 4:0, 5:1, 7:0, 9:0, 11:1><0:0, 1:0, 2:0, 3:1, 4:1, 5:1, 6:1, 7:0, 9:0, 11:1><0:0, 1:0, 2:1, 3:0, 4:1, 5:0, 6:0, 9:0, 11:1><0:0, 1:0, 2:1, 3:0, 4:1, 5:1, 6:0, 7:1, 9:0, 11:1><0:0, 1:1, 2:0, 4:0, 5:1, 7:0, 9:0, 11:1><0:0, 1:1, 2:0, 4:1, 5:1, 6:1, 7:0, 9:0, 11:1><0:0, 1:1, 2:1, 4:0, 5:0, 6:0, 7:1, 9:0, 11:1><0:0, 1:1, 2:1, 4:0, 5:0, 6:1, 7:0, 9:0, 11:1><0:0, 1:1, 2:1, 4:0, 5:1, 7:1, 9:0, 11:1><0:0, 1:1, 2:1, 4:1, 5:0, 6:1, 9:0, 11:1><0:1, 1:0, 3:0, 4:1, 5:0, 6:0, 9:0, 11:1><0:1, 1:0, 3:0, 4:1, 5:1, 6:0, 7:1, 9:0, 11:1><0:1, 1:0, 3:1, 4:0, 5:0, 6:0, 7:1, 9:0, 11:1><0:1, 1:0, 3:1, 4:0, 5:0, 6:1, 7:0, 9:0, 11:1><0:1, 1:0, 3:1, 4:0, 5:1, 7:1, 9:0, 11:1><0:1, 1:0, 3:1, 4:1, 5:0, 6:1, 9:0, 11:1><0:1, 1:1, 2:0, 3:1, 4:0, 5:0, 6:0, 7:1, 9:0, 11:1><0:1, 1:1, 2:0, 3:1, 4:0, 5:0, 6:1, 7:0, 9:0, 11:1><0:1, 1:1, 2:0, 3:1, 4:0, 5:1, 7:1, 9:0, 11:1><0:1, 1:1, 2:0, 3:1, 4:1, 5:0, 6:1, 9:0, 11:1><0:1, 1:1, 2:1, 3:0, 4:0, 5:0, 6:0, 7:1, 9:0, 11:1><0:1, 1:1, 2:1, 3:0, 4:0, 5:0, 6:1, 7:0, 9:0, 11:1><0:1, 1:1, 2:1, 3:0, 4:0, 5:1, 7:1, 9:0, 11:1><0:1, 1:1, 2:1, 3:0, 4:1, 5:0, 6:1, 9:0, 11:1>
  ghmap[4,1].size = 23
  bdd:
<0:0, 1:0, 2:1, 3:0, 4:0, 5:0, 6:0, 7:1, 9:0, 11:1><0:0, 1:0, 2:1, 3:0, 4:0, 5:0, 6:1, 7:0, 9:0, 11:1><0:0, 1:0, 2:1, 3:0, 4:0, 5:1, 7:1, 9:0, 11:1><0:0, 1:0, 2:1, 3:0, 4:1, 5:0, 6:1, 9:0, 11:1><0:0, 1:1, 2:1, 4:0, 5:1, 7:0, 9:0, 11:1><0:0, 1:1, 2:1, 4:1, 5:1, 6:1, 7:0, 9:0, 11:1><0:1, 1:0, 3:0, 4:0, 5:0, 6:0, 7:1, 9:0, 11:1><0:1, 1:0, 3:0, 4:0, 5:0, 6:1, 7:0, 9:0, 11:1><0:1, 1:0, 3:0, 4:0, 5:1, 7:1, 9:0, 11:1><0:1, 1:0, 3:0, 4:1, 5:0, 6:1, 9:0, 11:1><0:1, 1:0, 3:1, 4:0, 5:1, 7:0, 9:0, 11:1><0:1, 1:0, 3:1, 4:1, 5:1, 6:1, 7:0, 9:0, 11:1><0:1, 1:1, 2:0, 3:1, 4:0, 5:1, 7:0, 9:0, 11:1><0:1, 1:1, 2:0, 3:1, 4:1, 5:1, 6:1, 7:0, 9:0, 11:1><0:1, 1:1, 2:1, 3:0, 4:0, 5:1, 7:0, 9:0, 11:1><0:1, 1:1, 2:1, 3:0, 4:1, 5:1, 6:1, 7:0, 9:0, 11:1>
  ghmap[4,2].size = 12
  bdd:
<0:0, 1:0, 2:1, 3:0, 4:0, 5:1, 7:0, 9:0, 11:1><0:0, 1:0, 2:1, 3:0, 4:1, 5:1, 6:1, 7:0, 9:0, 11:1><0:1, 1:0, 3:0, 4:0, 5:1, 7:0, 9:0, 11:1><0:1, 1:0, 3:0, 4:1, 5:1, 6:1, 7:0, 9:0, 11:1>
  ghmap[5,-2].size = 12
  bdd:
<0:0, 1:0, 2:0, 3:1, 4:1, 5:0, 6:0, 9:0, 11:0><0:0, 1:0, 2:0, 3:1, 4:1, 5:1, 6:0, 7:1, 9:0, 11:0><0:0, 1:1, 2:0, 4:1, 5:0, 6:0, 9:0, 11:0><0:0, 1:1, 2:0, 4:1, 5:1, 6:0, 7:1, 9:0, 11:0>
  ghmap[5,-1].size = 25
  bdd:
<0:0, 1:0, 2:0, 3:1, 4:0, 5:0, 6:0, 7:1, 9:0, 11:0><0:0, 1:0, 2:0, 3:1, 4:0, 5:0, 6:1, 7:0, 9:0, 11:0><0:0, 1:0, 2:0, 3:1, 4:0, 5:1, 7:1, 9:0, 11:0><0:0, 1:0, 2:0, 3:1, 4:1, 5:0, 6:0, 9:1><0:0, 1:0, 2:0, 3:1, 4:1, 5:0, 6:1, 9:0, 11:0><0:0, 1:0, 2:0, 3:1, 4:1, 5:1, 6:0, 7:1, 9:1><0:0, 1:1, 2:0, 4:0, 5:0, 6:0, 7:1, 9:0, 11:0><0:0, 1:1, 2:0, 4:0, 5:0, 6:1, 7:0, 9:0, 11:0><0:0, 1:1, 2:0, 4:0, 5:1, 7:1, 9:0, 11:0><0:0, 1:1, 2:0, 4:1, 5:0, 6:0, 9:1><0:0, 1:1, 2:0, 4:1, 5:0, 6:1, 9:0, 11:0><0:0, 1:1, 2:0, 4:1, 5:1, 6:0, 7:1, 9:1><0:0, 1:1, 2:1, 4:1, 5:0, 6:0, 9:0, 11:0><0:0, 1:1, 2:1, 4:1, 5:1, 6:0, 7:1, 9:0, 11:0><0:1, 1:0, 3:1, 4:1, 5:0, 6:0, 9:0, 11:0><0:1, 1:0, 3:1, 4:1, 5:1, 6:0, 7:1, 9:0, 11:0><0:1, 1:1, 2:0, 3:1, 4:1, 5:0, 6:0, 9:0, 11:0><0:1, 1:1, 2:0, 3:1, 4:1, 5:1, 6:0, 7:1, 9:0, 11:0><0:1, 1:1, 2:1, 3:0, 4:1, 5:0, 6:0, 9:0, 11:0><0:1, 1:1, 2:1, 3:0, 4:1, 5:1, 6:0, 7:1, 9:0, 11:0>
  ghmap[5,0].size = 35
  bdd:
<0:0, 1:0, 2:0, 3:1, 4:0, 5:0, 6:0, 7:1, 9:1><0:0, 1:0, 2:0, 3:1, 4:0, 5:0, 6:1, 7:0, 9:1><0:0, 1:0, 2:0, 3:1, 4:0, 5:1, 7:0, 9:0, 11:0><0:0, 1:0, 2:0, 3:1, 4:0, 5:1, 7:1, 9:1><0:0, 1:0, 2:0, 3:1, 4:1, 5:0, 6:1, 9:1><0:0, 1:0, 2:0, 3:1, 4:1, 5:1, 6:1, 7:0, 9:0, 11:0><0:0, 1:0, 2:1, 3:0, 4:1, 5:0, 6:0, 9:0, 11:0><0:0, 1:0, 2:1, 3:0, 4:1, 5:1, 6:0, 7:1, 9:0, 11:0><0:0, 1:1, 2:0, 4:0, 5:0, 6:0, 7:1, 9:1><0:0, 1:1, 2:0, 4:0, 5:0, 6:1, 7:0, 9:1><0:0, 1:1, 2:0, 4:0, 5:1, 7:0, 9:0, 11:0><0:0, 1:1, 2:0, 4:0, 5:1, 7:1, 9:1><0:0, 1:1, 2:0, 4:1, 5:0, 6:1, 9:1><0:0, 1:1, 2:0, 4:1, 5:1, 6:1, 7:0, 9:0, 11:0><0:0, 1:1, 2:1, 4:0, 5:0, 6:0, 7:1, 9:0, 11:0><0:0, 1:1, 2:1, 4:0, 5:0, 6:1, 7:0, 9:0, 11:0><0:0, 1:1, 2:1, 4:0, 5:1, 7:1, 9:0, 11:0><0:0, 1:1, 2:1, 4:1, 5:0, 6:0, 9:1><0:0, 1:1, 2:1, 4:1, 5:0, 6:1, 9:0, 11:0><0:0, 1:1, 2:1, 4:1, 5:1, 6:0, 7:1, 9:1><0:1, 1:0, 3:0, 4:1, 5:0, 6:0, 9:0, 11:0><0:1, 1:0, 3:0, 4:1, 5:1, 6:0, 7:1, 9:0, 11:0><0:1, 1:0, 3:1, 4:0, 5:0, 6:0, 7:1, 9:0, 11:0><0:1, 1:0, 3:1, 4:0, 5:0, 6:1, 7:0, 9:0, 11:0><0:1, 1:0, 3:1, 4:0, 5:1, 7:1, 9:0, 11:0><0:1, 1:0, 3:1, 4:1, 5:0, 6:0, 9:1><0:1, 1:0, 3:1, 4:1, 5:0, 6:1, 9:0, 11:0><0:1, 1:0, 3:1, 4:1, 5:1, 6:0, 7:1, 9:1><0:1, 1:1, 2:0, 3:1, 4:0, 5:0, 6:0, 7:1, 9:0, 11:0><0:1, 1:1, 2:0, 3:1, 4:0, 5:0, 6:1, 7:0, 9:0, 11:0><0:1, 1:1, 2:0, 3:1, 4:0, 5:1, 7:1, 9:0, 11:0><0:1, 1:1, 2:0, 3:1, 4:1, 5:0, 6:0, 9:1><0:1, 1:1, 2:0, 3:1, 4:1, 5:0, 6:1, 9:0, 11:0><0:1, 1:1, 2:0, 3:1, 4:1, 5:1, 6:0, 7:1, 9:1><0:1, 1:1, 2:1, 3:0, 4:0, 5:0, 6:0, 7:1, 9:0, 11:0><0:1, 1:1, 2:1, 3:0, 4:0, 5:0, 6:1, 7:0, 9:0, 11:0><0:1, 1:1, 2:1, 3:0, 4:0, 5:1, 7:1, 9:0, 11:0><0:1, 1:1, 2:1, 3:0, 4:1, 5:0, 6:0, 9:1><0:1, 1:1, 2:1, 3:0, 4:1, 5:0, 6:1, 9:0, 11:0><0:1, 1:1, 2:1, 3:0, 4:1, 5:1, 6:0, 7:1, 9:1>
  ghmap[5,1].size = 35
  bdd:
<0:0, 1:0, 2:0, 3:1, 4:0, 5:1, 7:0, 9:1><0:0, 1:0, 2:0, 3:1, 4:1, 5:1, 6:1, 7:0, 9:1><0:0, 1:0, 2:1, 3:0, 4:0, 5:0, 6:0, 7:1, 9:0, 11:0><0:0, 1:0, 2:1, 3:0, 4:0, 5:0, 6:1, 7:0, 9:0, 11:0><0:0, 1:0, 2:1, 3:0, 4:0, 5:1, 7:1, 9:0, 11:0><0:0, 1:0, 2:1, 3:0, 4:1, 5:0, 6:0, 9:1><0:0, 1:0, 2:1, 3:0, 4:1, 5:0, 6:1, 9:0, 11:0><0:0, 1:0, 2:1, 3:0, 4:1, 5:1, 6:0, 7:1, 9:1><0:0, 1:1, 2:0, 4:0, 5:1, 7:0, 9:1><0:0, 1:1, 2:0, 4:1, 5:1, 6:1, 7:0, 9:1><0:0, 1:1, 2:1, 4:0, 5:0, 6:0, 7:1, 9:1><0:0, 1:1, 2:1, 4:0, 5:0, 6:1, 7:0, 9:1><0:0, 1:1, 2:1, 4:0, 5:1, 7:0, 9:0, 11:0><0:0, 1:1, 2:1, 4:0, 5:1, 7:1, 9:1><0:0, 1:1, 2:1, 4:1, 5:0, 6:1, 9:1><0:0, 1:1, 2:1, 4:1, 5:1, 6:1, 7:0, 9:0, 11:0><0:1, 1:0, 3:0, 4:0, 5:0, 6:0, 7:1, 9:0, 11:0><0:1, 1:0, 3:0, 4:0, 5:0, 6:1, 7:0, 9:0, 11:0><0:1, 1:0, 3:0, 4:0, 5:1, 7:1, 9:0, 11:0><0:1, 1:0, 3:0, 4:1, 5:0, 6:0, 9:1><0:1, 1:0, 3:0, 4:1, 5:0, 6:1, 9:0, 11:0><0:1, 1:0, 3:0, 4:1, 5:1, 6:0, 7:1, 9:1><0:1, 1:0, 3:1, 4:0, 5:0, 6:0, 7:1, 9:1><0:1, 1:0, 3:1, 4:0, 5:0, 6:1, 7:0, 9:1><0:1, 1:0, 3:1, 4:0, 5:1, 7:0, 9:0, 11:0><0:1, 1:0, 3:1, 4:0, 5:1, 7:1, 9:1><0:1, 1:0, 3:1, 4:1, 5:0, 6:1, 9:1><0:1, 1:0, 3:1, 4:1, 5:1, 6:1, 7:0, 9:0, 11:0><0:1, 1:1, 2:0, 3:1, 4:0, 5:0, 6:0, 7:1, 9:1><0:1, 1:1, 2:0, 3:1, 4:0, 5:0, 6:1, 7:0, 9:1><0:1, 1:1, 2:0, 3:1, 4:0, 5:1, 7:0, 9:0, 11:0><0:1, 1:1, 2:0, 3:1, 4:0, 5:1, 7:1, 9:1><0:1, 1:1, 2:0, 3:1, 4:1, 5:0, 6:1, 9:1><0:1, 1:1, 2:0, 3:1, 4:1, 5:1, 6:1, 7:0, 9:0, 11:0><0:1, 1:1, 2:1, 3:0, 4:0, 5:0, 6:0, 7:1, 9:1><0:1, 1:1, 2:1, 3:0, 4:0, 5:0, 6:1, 7:0, 9:1><0:1, 1:1, 2:1, 3:0, 4:0, 5:1, 7:0, 9:0, 11:0><0:1, 1:1, 2:1, 3:0, 4:0, 5:1, 7:1, 9:1><0:1, 1:1, 2:1, 3:0, 4:1, 5:0, 6:1, 9:1><0:1, 1:1, 2:1, 3:0, 4:1, 5:1, 6:1, 7:0, 9:0, 11:0>
  ghmap[5,2].size = 27
  bdd:
<0:0, 1:0, 2:1, 3:0, 4:0, 5:0, 6:0, 7:1, 9:1><0:0, 1:0, 2:1, 3:0, 4:0, 5:0, 6:1, 7:0, 9:1><0:0, 1:0, 2:1, 3:0, 4:0, 5:1, 7:0, 9:0, 11:0><0:0, 1:0, 2:1, 3:0, 4:0, 5:1, 7:1, 9:1><0:0, 1:0, 2:1, 3:0, 4:1, 5:0, 6:1, 9:1><0:0, 1:0, 2:1, 3:0, 4:1, 5:1, 6:1, 7:0, 9:0, 11:0><0:0, 1:1, 2:1, 4:0, 5:1, 7:0, 9:1><0:0, 1:1, 2:1, 4:1, 5:1, 6:1, 7:0, 9:1><0:1, 1:0, 3:0, 4:0, 5:0, 6:0, 7:1, 9:1><0:1, 1:0, 3:0, 4:0, 5:0, 6:1, 7:0, 9:1><0:1, 1:0, 3:0, 4:0, 5:1, 7:0, 9:0, 11:0><0:1, 1:0, 3:0, 4:0, 5:1, 7:1, 9:1><0:1, 1:0, 3:0, 4:1, 5:0, 6:1, 9:1><0:1, 1:0, 3:0, 4:1, 5:1, 6:1, 7:0, 9:0, 11:0><0:1, 1:0, 3:1, 4:0, 5:1, 7:0, 9:1><0:1, 1:0, 3:1, 4:1, 5:1, 6:1, 7:0, 9:1><0:1, 1:1, 2:0, 3:1, 4:0, 5:1, 7:0, 9:1><0:1, 1:1, 2:0, 3:1, 4:1, 5:1, 6:1, 7:0, 9:1><0:1, 1:1, 2:1, 3:0, 4:0, 5:1, 7:0, 9:1><0:1, 1:1, 2:1, 3:0, 4:1, 5:1, 6:1, 7:0, 9:1>
  ghmap[5,3].size = 11
  bdd:
<0:0, 1:0, 2:1, 3:0, 4:0, 5:1, 7:0, 9:1><0:0, 1:0, 2:1, 3:0, 4:1, 5:1, 6:1, 7:0, 9:1><0:1, 1:0, 3:0, 4:0, 5:1, 7:0, 9:1><0:1, 1:0, 3:0, 4:1, 5:1, 6:1, 7:0, 9:1>

 Colpartition: 2
 Netpatitions
  Netpartition: 0
   exp_size: 47
   varsetf: <0:1, 2:1>
   varsetb: <1:1, 3:1>
  Netpartition: 1
   exp_size: 19
   varsetf: <4:1, 6:1>
   varsetb: <5:1, 7:1>
  Netpartition: 2
   exp_size: 0
   varsetf: <8:1, 10:1>
   varsetb: <9:1, 11:1>

 g-h map
  ghmap[0,0].size = 14
  bdd:
<0:0, 1:0, 2:0, 3:0, 4:1, 6:0, 8:0, 9:0, 10:0, 11:0><0:0, 1:0, 2:0, 3:0, 4:1, 6:0, 8:0, 9:0, 10:1, 11:1><0:0, 1:0, 2:0, 3:0, 4:1, 6:0, 8:1, 9:1, 10:0, 11:0><0:0, 1:0, 2:0, 3:0, 4:1, 6:0, 8:1, 9:1, 10:1, 11:1><0:0, 1:0, 2:1, 3:1, 4:1, 6:0, 8:0, 9:0, 10:0, 11:0><0:0, 1:0, 2:1, 3:1, 4:1, 6:0, 8:0, 9:0, 10:1, 11:1><0:0, 1:0, 2:1, 3:1, 4:1, 6:0, 8:1, 9:1, 10:0, 11:0><0:0, 1:0, 2:1, 3:1, 4:1, 6:0, 8:1, 9:1, 10:1, 11:1><0:1, 1:1, 2:0, 3:0, 4:1, 6:0, 8:0, 9:0, 10:0, 11:0><0:1, 1:1, 2:0, 3:0, 4:1, 6:0, 8:0, 9:0, 10:1, 11:1><0:1, 1:1, 2:0, 3:0, 4:1, 6:0, 8:1, 9:1, 10:0, 11:0><0:1, 1:1, 2:0, 3:0, 4:1, 6:0, 8:1, 9:1, 10:1, 11:1><0:1, 1:1, 2:1, 3:1, 4:1, 6:0, 8:0, 9:0, 10:0, 11:0><0:1, 1:1, 2:1, 3:1, 4:1, 6:0, 8:0, 9:0, 10:1, 11:1><0:1, 1:1, 2:1, 3:1, 4:1, 6:0, 8:1, 9:1, 10:0, 11:0><0:1, 1:1, 2:1, 3:1, 4:1, 6:0, 8:1, 9:1, 10:1, 11:1>
  ghmap[1,1].size = 14
  bdd:
<0:0, 1:0, 2:0, 3:0, 4:0, 8:0, 9:0, 10:0, 11:0><0:0, 1:0, 2:0, 3:0, 4:0, 8:0, 9:0, 10:1, 11:1><0:0, 1:0, 2:0, 3:0, 4:0, 8:1, 9:1, 10:0, 11:0><0:0, 1:0, 2:0, 3:0, 4:0, 8:1, 9:1, 10:1, 11:1><0:0, 1:0, 2:0, 3:0, 4:1, 6:1, 8:0, 9:0, 10:0, 11:0><0:0, 1:0, 2:0, 3:0, 4:1, 6:1, 8:0, 9:0, 10:1, 11:1><0:0, 1:0, 2:0, 3:0, 4:1, 6:1, 8:1, 9:1, 10:0, 11:0><0:0, 1:0, 2:0, 3:0, 4:1, 6:1, 8:1, 9:1, 10:1, 11:1><0:0, 1:0, 2:1, 3:1, 4:0, 8:0, 9:0, 10:0, 11:0><0:0, 1:0, 2:1, 3:1, 4:0, 8:0, 9:0, 10:1, 11:1><0:0, 1:0, 2:1, 3:1, 4:0, 8:1, 9:1, 10:0, 11:0><0:0, 1:0, 2:1, 3:1, 4:0, 8:1, 9:1, 10:1, 11:1><0:0, 1:0, 2:1, 3:1, 4:1, 6:1, 8:0, 9:0, 10:0, 11:0><0:0, 1:0, 2:1, 3:1, 4:1, 6:1, 8:0, 9:0, 10:1, 11:1><0:0, 1:0, 2:1, 3:1, 4:1, 6:1, 8:1, 9:1, 10:0, 11:0><0:0, 1:0, 2:1, 3:1, 4:1, 6:1, 8:1, 9:1, 10:1, 11:1><0:1, 1:1, 2:0, 3:0, 4:0, 8:0, 9:0, 10:0, 11:0><0:1, 1:1, 2:0, 3:0, 4:0, 8:0, 9:0, 10:1, 11:1><0:1, 1:1, 2:0, 3:0, 4:0, 8:1, 9:1, 10:0, 11:0><0:1, 1:1, 2:0, 3:0, 4:0, 8:1, 9:1, 10:1, 11:1><0:1, 1:1, 2:0, 3:0, 4:1, 6:1, 8:0, 9:0, 10:0, 11:0><0:1, 1:1, 2:0, 3:0, 4:1, 6:1, 8:0, 9:0, 10:1, 11:1><0:1, 1:1, 2:0, 3:0, 4:1, 6:1, 8:1, 9:1, 10:0, 11:0><0:1, 1:1, 2:0, 3:0, 4:1, 6:1, 8:1, 9:1, 10:1, 11:1><0:1, 1:1, 2:1, 3:1, 4:0, 8:0, 9:0, 10:0, 11:0><0:1, 1:1, 2:1, 3:1, 4:0, 8:0, 9:0, 10:1, 11:1><0:1, 1:1, 2:1, 3:1, 4:0, 8:1, 9:1, 10:0, 11:0><0:1, 1:1, 2:1, 3:1, 4:0, 8:1, 9:1, 10:1, 11:1><0:1, 1:1, 2:1, 3:1, 4:1, 6:1, 8:0, 9:0, 10:0, 11:0><0:1, 1:1, 2:1, 3:1, 4:1, 6:1, 8:0, 9:0, 10:1, 11:1><0:1, 1:1, 2:1, 3:1, 4:1, 6:1, 8:1, 9:1, 10:0, 11:0><0:1, 1:1, 2:1, 3:1, 4:1, 6:1, 8:1, 9:1, 10:1, 11:1>
  ghmap[2,-1].size = 21
  bdd:
<0:0, 1:0, 2:0, 3:0, 4:1, 6:0, 8:1, 9:0><0:0, 1:0, 2:0, 3:1, 4:1, 6:0, 8:0, 9:0, 10:0, 11:0><0:0, 1:0, 2:0, 3:1, 4:1, 6:0, 8:0, 9:0, 10:1, 11:1><0:0, 1:0, 2:0, 3:1, 4:1, 6:0, 8:1, 9:1, 10:0, 11:0><0:0, 1:0, 2:0, 3:1, 4:1, 6:0, 8:1, 9:1, 10:1, 11:1><0:0, 1:0, 2:1, 3:1, 4:1, 6:0, 8:1, 9:0><0:0, 1:1, 2:0, 4:1, 6:0, 8:0, 9:0, 10:0, 11:0><0:0, 1:1, 2:0, 4:1, 6:0, 8:0, 9:0, 10:1, 11:1><0:0, 1:1, 2:0, 4:1, 6:0, 8:1, 9:1, 10:0, 11:0><0:0, 1:1, 2:0, 4:1, 6:0, 8:1, 9:1, 10:1, 11:1><0:1, 1:1, 2:0, 3:0, 4:1, 6:0, 8:1, 9:0><0:1, 1:1, 2:1, 3:1, 4:1, 6:0, 8:1, 9:0>
  ghmap[2,0].size = 25
  bdd:
<0:0, 1:0, 2:0, 3:0, 4:1, 6:0, 8:0, 9:0, 10:0, 11:1><0:0, 1:0, 2:0, 3:0, 4:1, 6:0, 8:0, 9:0, 10:1, 11:0><0:0, 1:0, 2:0, 3:0, 4:1, 6:0, 8:1, 9:1, 10:0, 11:1><0:0, 1:0, 2:0, 3:0, 4:1, 6:0, 8:1, 9:1, 10:1, 11:0><0:0, 1:0, 2:1, 3:1, 4:1, 6:0, 8:0, 9:0, 10:0, 11:1><0:0, 1:0, 2:1, 3:1, 4:1, 6:0, 8:0, 9:0, 10:1, 11:0><0:0, 1:0, 2:1, 3:1, 4:1, 6:0, 8:1, 9:1, 10:0, 11:1><0:0, 1:0, 2:1, 3:1, 4:1, 6:0, 8:1, 9:1, 10:1, 11:0><0:0, 1:1, 2:1, 4:1, 6:0, 8:0, 9:0, 10:0, 11:0><0:0, 1:1, 2:1, 4:1, 6:0, 8:0, 9:0, 10:1, 11:1><0:0, 1:1, 2:1, 4:1, 6:0, 8:1, 9:1, 10:0, 11:0><0:0, 1:1, 2:1, 4:1, 6:0, 8:1, 9:1, 10:1, 11:1><0:1, 1:0, 3:1, 4:1, 6:0, 8:0, 9:0, 10:0, 11:0><0:1, 1:0, 3:1, 4:1, 6:0, 8:0, 9:0, 10:1, 11:1><0:1, 1:0, 3:1, 4:1, 6:0, 8:1, 9:1, 10:0, 11:0><0:1, 1:0, 3:1, 4:1, 6:0, 8:1, 9:1, 10:1, 11:1><0:1, 1:1, 2:0, 3:0, 4:1, 6:0, 8:0, 9:0, 10:0, 11:1><0:1, 1:1, 2:0, 3:0, 4:1, 6:0, 8:0, 9:0, 10:1, 11:0><0:1, 1:1, 2:0, 3:0, 4:1, 6:0, 8:1, 9:1, 10:0, 11:1><0:1, 1:1, 2:0, 3:0, 4:1, 6:0, 8:1, 9:1, 10:1, 11:0><0:1, 1:1, 2:0, 3:1, 4:1, 6:0, 8:0, 9:0, 10:0, 11:0><0:1, 1:1, 2:0, 3:1, 4:1, 6:0, 8:0, 9:0, 10:1, 11:1><0:1, 1:1, 2:0, 3:1, 4:1, 6:0, 8:1, 9:1, 10:0, 11:0><0:1, 1:1, 2:0, 3:1, 4:1, 6:0, 8:1, 9:1, 10:1, 11:1><0:1, 1:1, 2:1, 3:0, 4:1, 6:0, 8:0, 9:0, 10:0, 11:0><0:1, 1:1, 2:1, 3:0, 4:1, 6:0, 8:0, 9:0, 10:1, 11:1><0:1, 1:1, 2:1, 3:0, 4:1, 6:0, 8:1, 9:1, 10:0, 11:0><0:1, 1:1, 2:1, 3:0, 4:1, 6:0, 8:1, 9:1, 10:1, 11:1><0:1, 1:1, 2:1, 3:1, 4:1, 6:0, 8:0, 9:0, 10:0, 11:1><0:1, 1:1, 2:1, 3:1, 4:1, 6:0, 8:0, 9:0, 10:1, 11:0><0:1, 1:1, 2:1, 3:1, 4:1, 6:0, 8:1, 9:1, 10:0, 11:1><0:1, 1:1, 2:1, 3:1, 4:1, 6:0, 8:1, 9:1, 10:1, 11:0>
  ghmap[2,1].size = 21
  bdd:
<0:0, 1:0, 2:0, 3:0, 4:1, 6:0, 8:0, 9:1><0:0, 1:0, 2:1, 3:0, 4:1, 6:0, 8:0, 9:0, 10:0, 11:0><0:0, 1:0, 2:1, 3:0, 4:1, 6:0, 8:0, 9:0, 10:1, 11:1><0:0, 1:0, 2:1, 3:0, 4:1, 6:0, 8:1, 9:1, 10:0, 11:0><0:0, 1:0, 2:1, 3:0, 4:1, 6:0, 8:1, 9:1, 10:1, 11:1><0:0, 1:0, 2:1, 3:1, 4:1, 6:0, 8:0, 9:1><0:1, 1:0, 3:0, 4:1, 6:0, 8:0, 9:0, 10:0, 11:0><0:1, 1:0, 3:0, 4:1, 6:0, 8:0, 9:0, 10:1, 11:1><0:1, 1:0, 3:0, 4:1, 6:0, 8:1, 9:1, 10:0, 11:0><0:1, 1:0, 3:0, 4:1, 6:0, 8:1, 9:1, 10:1, 11:1><0:1, 1:1, 2:0, 3:0, 4:1, 6:0, 8:0, 9:1><0:1, 1:1, 2:1, 3:1, 4:1, 6:0, 8:0, 9:1>
  ghmap[3,0].size = 21
  bdd:
<0:0, 1:0, 2:0, 3:0, 4:0, 8:1, 9:0><0:0, 1:0, 2:0, 3:0, 4:1, 6:1, 8:1, 9:0><0:0, 1:0, 2:0, 3:1, 4:0, 8:0, 9:0, 10:0, 11:0><0:0, 1:0, 2:0, 3:1, 4:0, 8:0, 9:0, 10:1, 11:1><0:0, 1:0, 2:0, 3:1, 4:0, 8:1, 9:1, 10:0, 11:0><0:0, 1:0, 2:0, 3:1, 4:0, 8:1, 9:1, 10:1, 11:1><0:0, 1:0, 2:0, 3:1, 4:1, 6:1, 8:0, 9:0, 10:0, 11:0><0:0, 1:0, 2:0, 3:1, 4:1, 6:1, 8:0, 9:0, 10:1, 11:1><0:0, 1:0, 2:0, 3:1, 4:1, 6:1, 8:1, 9:1, 10:0, 11:0><0:0, 1:0, 2:0, 3:1, 4:1, 6:1, 8:1, 9:1, 10:1, 11:1><0:0, 1:0, 2:1, 3:1, 4:0, 8:1, 9:0><0:0, 1:0, 2:1, 3:1, 4:1, 6:1, 8:1, 9:0><0:0, 1:1, 2:0, 4:0, 8:0, 9:0, 10:0, 11:0><0:0, 1:1, 2:0, 4:0, 8:0, 9:0, 10:1, 11:1><0:0, 1:1, 2:0, 4:0, 8:1, 9:1, 10:0, 11:0><0:0, 1:1, 2:0, 4:0, 8:1, 9:1, 10:1, 11:1><0:0, 1:1, 2:0, 4:1, 6:1, 8:0, 9:0, 10:0, 11:0><0:0, 1:1, 2:0, 4:1, 6:1, 8:0, 9:0, 10:1, 11:1><0:0, 1:1, 2:0, 4:1, 6:1, 8:1, 9:1, 10:0, 11:0><0:0, 1:1, 2:0, 4:1, 6:1, 8:1, 9:1, 10:1, 11:1><0:1, 1:1, 2:0, 3:0, 4:0, 8:1, 9:0><0:1, 1:1, 2:0, 3:0, 4:1, 6:1, 8:1, 9:0><0:1, 1:1, 2:1, 3:1, 4:0, 8:1, 9:0><0:1, 1:1, 2:1, 3:1, 4:1, 6:1, 8:1, 9:0>
  ghmap[3,1].size = 25
  bdd:
<0:0, 1:0, 2:0, 3:0, 4:0, 8:0, 9:0, 10:0, 11:1><0:0, 1:0, 2:0, 3:0, 4:0, 8:0, 9:0, 10:1, 11:0><0:0, 1:0, 2:0, 3:0, 4:0, 8:1, 9:1, 10:0, 11:1><0:0, 1:0, 2:0, 3:0, 4:0, 8:1, 9:1, 10:1, 11:0><0:0, 1:0, 2:0, 3:0, 4:1, 6:1, 8:0, 9:0, 10:0, 11:1><0:0, 1:0, 2:0, 3:0, 4:1, 6:1, 8:0, 9:0, 10:1, 11:0><0:0, 1:0, 2:0, 3:0, 4:1, 6:1, 8:1, 9:1, 10:0, 11:1><0:0, 1:0, 2:0, 3:0, 4:1, 6:1, 8:1, 9:1, 10:1, 11:0><0:0, 1:0, 2:1, 3:1, 4:0, 8:0, 9:0, 10:0, 11:1><0:0, 1:0, 2:1, 3:1, 4:0, 8:0, 9:0, 10:1, 11:0><0:0, 1:0, 2:1, 3:1, 4:0, 8:1, 9:1, 10:0, 11:1><0:0, 1:0, 2:1, 3:1, 4:0, 8:1, 9:1, 10:1, 11:0><0:0, 1:0, 2:1, 3:1, 4:1, 6:1, 8:0, 9:0, 10:0, 11:1><0:0, 1:0, 2:1, 3:1, 4:1, 6:1, 8:0, 9:0, 10:1, 11:0><0:0, 1:0, 2:1, 3:1, 4:1, 6:1, 8:1, 9:1, 10:0, 11:1><0:0, 1:0, 2:1, 3:1, 4:1, 6:1, 8:1, 9:1, 10:1, 11:0><0:0, 1:1, 2:1, 4:0, 8:0, 9:0, 10:0, 11:0><0:0, 1:1, 2:1, 4:0, 8:0, 9:0, 10:1, 11:1><0:0, 1:1, 2:1, 4:0, 8:1, 9:1, 10:0, 11:0><0:0, 1:1, 2:1, 4:0, 8:1, 9:1, 10:1, 11:1><0:0, 1:1, 2:1, 4:1, 6:1, 8:0, 9:0, 10:0, 11:0><0:0, 1:1, 2:1, 4:1, 6:1, 8:0, 9:0, 10:1, 11:1><0:0, 1:1, 2:1, 4:1, 6:1, 8:1, 9:1, 10:0, 11:0><0:0, 1:1, 2:1, 4:1, 6:1, 8:1, 9:1, 10:1, 11:1><0:1, 1:0, 3:1, 4:0, 8:0, 9:0, 10:0, 11:0><0:1, 1:0, 3:1, 4:0, 8:0, 9:0, 10:1, 11:1><0:1, 1:0, 3:1, 4:0, 8:1, 9:1, 10:0, 11:0><0:1, 1:0, 3:1, 4:0, 8:1, 9:1, 10:1, 11:1><0:1, 1:0, 3:1, 4:1, 6:1, 8:0, 9:0, 10:0, 11:0><0:1, 1:0, 3:1, 4:1, 6:1, 8:0, 9:0, 10:1, 11:1><0:1, 1:0, 3:1, 4:1, 6:1, 8:1, 9:1, 10:0, 11:0><0:1, 1:0, 3:1, 4:1, 6:1, 8:1, 9:1, 10:1, 11:1><0:1, 1:1, 2:0, 3:0, 4:0, 8:0, 9:0, 10:0, 11:1><0:1, 1:1, 2:0, 3:0, 4:0, 8:0, 9:0, 10:1, 11:0><0:1, 1:1, 2:0, 3:0, 4:0, 8:1, 9:1, 10:0, 11:1><0:1, 1:1, 2:0, 3:0, 4:0, 8:1, 9:1, 10:1, 11:0><0:1, 1:1, 2:0, 3:0, 4:1, 6:1, 8:0, 9:0, 10:0, 11:1><0:1, 1:1, 2:0, 3:0, 4:1, 6:1, 8:0, 9:0, 10:1, 11:0><0:1, 1:1, 2:0, 3:0, 4:1, 6:1, 8:1, 9:1, 10:0, 11:1><0:1, 1:1, 2:0, 3:0, 4:1, 6:1, 8:1, 9:1, 10:1, 11:0><0:1, 1:1, 2:0, 3:1, 4:0, 8:0, 9:0, 10:0, 11:0><0:1, 1:1, 2:0, 3:1, 4:0, 8:0, 9:0, 10:1, 11:1><0:1, 1:1, 2:0, 3:1, 4:0, 8:1, 9:1, 10:0, 11:0><0:1, 1:1, 2:0, 3:1, 4:0, 8:1, 9:1, 10:1, 11:1><0:1, 1:1, 2:0, 3:1, 4:1, 6:1, 8:0, 9:0, 10:0, 11:0><0:1, 1:1, 2:0, 3:1, 4:1, 6:1, 8:0, 9:0, 10:1, 11:1><0:1, 1:1, 2:0, 3:1, 4:1, 6:1, 8:1, 9:1, 10:0, 11:0><0:1, 1:1, 2:0, 3:1, 4:1, 6:1, 8:1, 9:1, 10:1, 11:1><0:1, 1:1, 2:1, 3:0, 4:0, 8:0, 9:0, 10:0, 11:0><0:1, 1:1, 2:1, 3:0, 4:0, 8:0, 9:0, 10:1, 11:1><0:1, 1:1, 2:1, 3:0, 4:0, 8:1, 9:1, 10:0, 11:0><0:1, 1:1, 2:1, 3:0, 4:0, 8:1, 9:1, 10:1, 11:1><0:1, 1:1, 2:1, 3:0, 4:1, 6:1, 8:0, 9:0, 10:0, 11:0><0:1, 1:1, 2:1, 3:0, 4:1, 6:1, 8:0, 9:0, 10:1, 11:1><0:1, 1:1, 2:1, 3:0, 4:1, 6:1, 8:1, 9:1, 10:0, 11:0><0:1, 1:1, 2:1, 3:0, 4:1, 6:1, 8:1, 9:1, 10:1, 11:1><0:1, 1:1, 2:1, 3:1, 4:0, 8:0, 9:0, 10:0, 11:1><0:1, 1:1, 2:1, 3:1, 4:0, 8:0, 9:0, 10:1, 11:0><0:1, 1:1, 2:1, 3:1, 4:0, 8:1, 9:1, 10:0, 11:1><0:1, 1:1, 2:1, 3:1, 4:0, 8:1, 9:1, 10:1, 11:0><0:1, 1:1, 2:1, 3:1, 4:1, 6:1, 8:0, 9:0, 10:0, 11:1><0:1, 1:1, 2:1, 3:1, 4:1, 6:1, 8:0, 9:0, 10:1, 11:0><0:1, 1:1, 2:1, 3:1, 4:1, 6:1, 8:1, 9:1, 10:0, 11:1><0:1, 1:1, 2:1, 3:1, 4:1, 6:1, 8:1, 9:1, 10:1, 11:0>
  ghmap[3,2].size = 21
  bdd:
<0:0, 1:0, 2:0, 3:0, 4:0, 8:0, 9:1><0:0, 1:0, 2:0, 3:0, 4:1, 6:1, 8:0, 9:1><0:0, 1:0, 2:1, 3:0, 4:0, 8:0, 9:0, 10:0, 11:0><0:0, 1:0, 2:1, 3:0, 4:0, 8:0, 9:0, 10:1, 11:1><0:0, 1:0, 2:1, 3:0, 4:0, 8:1, 9:1, 10:0, 11:0><0:0, 1:0, 2:1, 3:0, 4:0, 8:1, 9:1, 10:1, 11:1><0:0, 1:0, 2:1, 3:0, 4:1, 6:1, 8:0, 9:0, 10:0, 11:0><0:0, 1:0, 2:1, 3:0, 4:1, 6:1, 8:0, 9:0, 10:1, 11:1><0:0, 1:0, 2:1, 3:0, 4:1, 6:1, 8:1, 9:1, 10:0, 11:0><0:0, 1:0, 2:1, 3:0, 4:1, 6:1, 8:1, 9:1, 10:1, 11:1><0:0, 1:0, 2:1, 3:1, 4:0, 8:0, 9:1><0:0, 1:0, 2:1, 3:1, 4:1, 6:1, 8:0, 9:1><0:1, 1:0, 3:0, 4:0, 8:0, 9:0, 10:0, 11:0><0:1, 1:0, 3:0, 4:0, 8:0, 9:0, 10:1, 11:1><0:1, 1:0, 3:0, 4:0, 8:1, 9:1, 10:0, 11:0><0:1, 1:0, 3:0, 4:0, 8:1, 9:1, 10:1, 11:1><0:1, 1:0, 3:0, 4:1, 6:1, 8:0, 9:0, 10:0, 11:0><0:1, 1:0, 3:0, 4:1, 6:1, 8:0, 9:0, 10:1, 11:1><0:1, 1:0, 3:0, 4:1, 6:1, 8:1, 9:1, 10:0, 11:0><0:1, 1:0, 3:0, 4:1, 6:1, 8:1, 9:1, 10:1, 11:1><0:1, 1:1, 2:0, 3:0, 4:0, 8:0, 9:1><0:1, 1:1, 2:0, 3:0, 4:1, 6:1, 8:0, 9:1><0:1, 1:1, 2:1, 3:1, 4:0, 8:0, 9:1><0:1, 1:1, 2:1, 3:1, 4:1, 6:1, 8:0, 9:1>
  ghmap[4,-2].size = 9
  bdd:
<0:0, 1:0, 2:0, 3:1, 4:1, 6:0, 8:1, 9:0><0:0, 1:1, 2:0, 4:1, 6:0, 8:1, 9:0>
  ghmap[4,-1].size = 21
  bdd:
<0:0, 1:0, 2:0, 3:1, 4:1, 6:0, 8:0, 9:0, 10:0, 11:1><0:0, 1:0, 2:0, 3:1, 4:1, 6:0, 8:0, 9:0, 10:1, 11:0><0:0, 1:0, 2:0, 3:1, 4:1, 6:0, 8:1, 9:1, 10:0, 11:1><0:0, 1:0, 2:0, 3:1, 4:1, 6:0, 8:1, 9:1, 10:1, 11:0><0:0, 1:1, 2:0, 4:1, 6:0, 8:0, 9:0, 10:0, 11:1><0:0, 1:1, 2:0, 4:1, 6:0, 8:0, 9:0, 10:1, 11:0><0:0, 1:1, 2:0, 4:1, 6:0, 8:1, 9:1, 10:0, 11:1><0:0, 1:1, 2:0, 4:1, 6:0, 8:1, 9:1, 10:1, 11:0><0:0, 1:1, 2:1, 4:1, 6:0, 8:1, 9:0><0:1, 1:0, 3:1, 4:1, 6:0, 8:1, 9:0><0:1, 1:1, 2:0, 3:1, 4:1, 6:0, 8:1, 9:0><0:1, 1:1, 2:1, 3:0, 4:1, 6:0, 8:1, 9:0>
  ghmap[4,0].size = 27
  bdd:
<0:0, 1:0, 2:0, 3:1, 4:1, 6:0, 8:0, 9:1><0:0, 1:0, 2:1, 3:0, 4:1, 6:0, 8:1, 9:0><0:0, 1:1, 2:0, 4:1, 6:0, 8:0, 9:1><0:0, 1:1, 2:1, 4:1, 6:0, 8:0, 9:0, 10:0, 11:1><0:0, 1:1, 2:1, 4:1, 6:0, 8:0, 9:0, 10:1, 11:0><0:0, 1:1, 2:1, 4:1, 6:0, 8:1, 9:1, 10:0, 11:1><0:0, 1:1, 2:1, 4:1, 6:0, 8:1, 9:1, 10:1, 11:0><0:1, 1:0, 3:0, 4:1, 6:0, 8:1, 9:0><0:1, 1:0, 3:1, 4:1, 6:0, 8:0, 9:0, 10:0, 11:1><0:1, 1:0, 3:1, 4:1, 6:0, 8:0, 9:0, 10:1, 11:0><0:1, 1:0, 3:1, 4:1, 6:0, 8:1, 9:1, 10:0, 11:1><0:1, 1:0, 3:1, 4:1, 6:0, 8:1, 9:1, 10:1, 11:0><0:1, 1:1, 2:0, 3:1, 4:1, 6:0, 8:0, 9:0, 10:0, 11:1><0:1, 1:1, 2:0, 3:1, 4:1, 6:0, 8:0, 9:0, 10:1, 11:0><0:1, 1:1, 2:0, 3:1, 4:1, 6:0, 8:1, 9:1, 10:0, 11:1><0:1, 1:1, 2:0, 3:1, 4:1, 6:0, 8:1, 9:1, 10:1, 11:0><0:1, 1:1, 2:1, 3:0, 4:1, 6:0, 8:0, 9:0, 10:0, 11:1><0:1, 1:1, 2:1, 3:0, 4:1, 6:0, 8:0, 9:0, 10:1, 11:0><0:1, 1:1, 2:1, 3:0, 4:1, 6:0, 8:1, 9:1, 10:0, 11:1><0:1, 1:1, 2:1, 3:0, 4:1, 6:0, 8:1, 9:1, 10:1, 11:0>
  ghmap[4,1].size = 22
  bdd:
<0:0, 1:0, 2:1, 3:0, 4:1, 6:0, 8:0, 9:0, 10:0, 11:1><0:0, 1:0, 2:1, 3:0, 4:1, 6:0, 8:0, 9:0, 10:1, 11:0><0:0, 1:0, 2:1, 3:0, 4:1, 6:0, 8:1, 9:1, 10:0, 11:1><0:0, 1:0, 2:1, 3:0, 4:1, 6:0, 8:1, 9:1, 10:1, 11:0><0:0, 1:1, 2:1, 4:1, 6:0, 8:0, 9:1><0:1, 1:0, 3:0, 4:1, 6:0, 8:0, 9:0, 10:0, 11:1><0:1, 1:0, 3:0, 4:1, 6:0, 8:0, 9:0, 10:1, 11:0><0:1, 1:0, 3:0, 4:1, 6:0, 8:1, 9:1, 10:0, 11:1><0:1, 1:0, 3:0, 4:1, 6:0, 8:1, 9:1, 10:1, 11:0><0:1, 1:0, 3:1, 4:1, 6:0, 8:0, 9:1><0:1, 1:1, 2:0, 3:1, 4:1, 6:0, 8:0, 9:1><0:1, 1:1, 2:1, 3:0, 4:1, 6:0, 8:0, 9:1>
  ghmap[4,2].size = 9
  bdd:
<0:0, 1:0, 2:1, 3:0, 4:1, 6:0, 8:0, 9:1><0:1, 1:0, 3:0, 4:1, 6:0, 8:0, 9:1>
  ghmap[5,-1].size = 9
  bdd:
<0:0, 1:0, 2:0, 3:1, 4:0, 8:1, 9:0><0:0, 1:0, 2:0, 3:1, 4:1, 6:1, 8:1, 9:0><0:0, 1:1, 2:0, 4:0, 8:1, 9:0><0:0, 1:1, 2:0, 4:1, 6:1, 8:1, 9:0>
  ghmap[5,0].size = 21
  bdd:
<0:0, 1:0, 2:0, 3:1, 4:0, 8:0, 9:0, 10:0, 11:1><0:0, 1:0, 2:0, 3:1, 4:0, 8:0, 9:0, 10:1, 11:0><0:0, 1:0, 2:0, 3:1, 4:0, 8:1, 9:1, 10:0, 11:1><0:0, 1:0, 2:0, 3:1, 4:0, 8:1, 9:1, 10:1, 11:0><0:0, 1:0, 2:0, 3:1, 4:1, 6:1, 8:0, 9:0, 10:0, 11:1><0:0, 1:0, 2:0, 3:1, 4:1, 6:1, 8:0, 9:0, 10:1, 11:0><0:0, 1:0, 2:0, 3:1, 4:1, 6:1, 8:1, 9:1, 10:0, 11:1><0:0, 1:0, 2:0, 3:1, 4:1, 6:1, 8:1, 9:1, 10:1, 11:0><0:0, 1:1, 2:0, 4:0, 8:0, 9:0, 10:0, 11:1><0:0, 1:1, 2:0, 4:0, 8:0, 9:0, 10:1, 11:0><0:0, 1:1, 2:0, 4:0, 8:1, 9:1, 10:0, 11:1><0:0, 1:1, 2:0, 4:0, 8:1, 9:1, 10:1, 11:0><0:0, 1:1, 2:0, 4:1, 6:1, 8:0, 9:0, 10:0, 11:1><0:0, 1:1, 2:0, 4:1, 6:1, 8:0, 9:0, 10:1, 11:0><0:0, 1:1, 2:0, 4:1, 6:1, 8:1, 9:1, 10:0, 11:1><0:0, 1:1, 2:0, 4:1, 6:1, 8:1, 9:1, 10:1, 11:0><0:0, 1:1, 2:1, 4:0, 8:1, 9:0><0:0, 1:1, 2:1, 4:1, 6:1, 8:1, 9:0><0:1, 1:0, 3:1, 4:0, 8:1, 9:0><0:1, 1:0, 3:1, 4:1, 6:1, 8:1, 9:0><0:1, 1:1, 2:0, 3:1, 4:0, 8:1, 9:0><0:1, 1:1, 2:0, 3:1, 4:1, 6:1, 8:1, 9:0><0:1, 1:1, 2:1, 3:0, 4:0, 8:1, 9:0><0:1, 1:1, 2:1, 3:0, 4:1, 6:1, 8:1, 9:0>
  ghmap[5,1].size = 27
  bdd:
<0:0, 1:0, 2:0, 3:1, 4:0, 8:0, 9:1><0:0, 1:0, 2:0, 3:1, 4:1, 6:1, 8:0, 9:1><0:0, 1:0, 2:1, 3:0, 4:0, 8:1, 9:0><0:0, 1:0, 2:1, 3:0, 4:1, 6:1, 8:1, 9:0><0:0, 1:1, 2:0, 4:0, 8:0, 9:1><0:0, 1:1, 2:0, 4:1, 6:1, 8:0, 9:1><0:0, 1:1, 2:1, 4:0, 8:0, 9:0, 10:0, 11:1><0:0, 1:1, 2:1, 4:0, 8:0, 9:0, 10:1, 11:0><0:0, 1:1, 2:1, 4:0, 8:1, 9:1, 10:0, 11:1><0:0, 1:1, 2:1, 4:0, 8:1, 9:1, 10:1, 11:0><0:0, 1:1, 2:1, 4:1, 6:1, 8:0, 9:0, 10:0, 11:1><0:0, 1:1, 2:1, 4:1, 6:1, 8:0, 9:0, 10:1, 11:0><0:0, 1:1, 2:1, 4:1, 6:1, 8:1, 9:1, 10:0, 11:1><0:0, 1:1, 2:1, 4:1, 6:1, 8:1, 9:1, 10:1, 11:0><0:1, 1:0, 3:0, 4:0, 8:1, 9:0><0:1, 1:0, 3:0, 4:1, 6:1, 8:1, 9:0><0:1, 1:0, 3:1, 4:0, 8:0, 9:0, 10:0, 11:1><0:1, 1:0, 3:1, 4:0, 8:0, 9:0, 10:1, 11:0><0:1, 1:0, 3:1, 4:0, 8:1, 9:1, 10:0, 11:1><0:1, 1:0, 3:1, 4:0, 8:1, 9:1, 10:1, 11:0><0:1, 1:0, 3:1, 4:1, 6:1, 8:0, 9:0, 10:0, 11:1><0:1, 1:0, 3:1, 4:1, 6:1, 8:0, 9:0, 10:1, 11:0><0:1, 1:0, 3:1, 4:1, 6:1, 8:1, 9:1, 10:0, 11:1><0:1, 1:0, 3:1, 4:1, 6:1, 8:1, 9:1, 10:1, 11:0><0:1, 1:1, 2:0, 3:1, 4:0, 8:0, 9:0, 10:0, 11:1><0:1, 1:1, 2:0, 3:1, 4:0, 8:0, 9:0, 10:1, 11:0><0:1, 1:1, 2:0, 3:1, 4:0, 8:1, 9:1, 10:0, 11:1><0:1, 1:1, 2:0, 3:1, 4:0, 8:1, 9:1, 10:1, 11:0><0:1, 1:1, 2:0, 3:1, 4:1, 6:1, 8:0, 9:0, 10:0, 11:1><0:1, 1:1, 2:0, 3:1, 4:1, 6:1, 8:0, 9:0, 10:1, 11:0><0:1, 1:1, 2:0, 3:1, 4:1, 6:1, 8:1, 9:1, 10:0, 11:1><0:1, 1:1, 2:0, 3:1, 4:1, 6:1, 8:1, 9:1, 10:1, 11:0><0:1, 1:1, 2:1, 3:0, 4:0, 8:0, 9:0, 10:0, 11:1><0:1, 1:1, 2:1, 3:0, 4:0, 8:0, 9:0, 10:1, 11:0><0:1, 1:1, 2:1, 3:0, 4:0, 8:1, 9:1, 10:0, 11:1><0:1, 1:1, 2:1, 3:0, 4:0, 8:1, 9:1, 10:1, 11:0><0:1, 1:1, 2:1, 3:0, 4:1, 6:1, 8:0, 9:0, 10:0, 11:1><0:1, 1:1, 2:1, 3:0, 4:1, 6:1, 8:0, 9:0, 10:1, 11:0><0:1, 1:1, 2:1, 3:0, 4:1, 6:1, 8:1, 9:1, 10:0, 11:1><0:1, 1:1, 2:1, 3:0, 4:1, 6:1, 8:1, 9:1, 10:1, 11:0>
  ghmap[5,2].size = 22
  bdd:
<0:0, 1:0, 2:1, 3:0, 4:0, 8:0, 9:0, 10:0, 11:1><0:0, 1:0, 2:1, 3:0, 4:0, 8:0, 9:0, 10:1, 11:0><0:0, 1:0, 2:1, 3:0, 4:0, 8:1, 9:1, 10:0, 11:1><0:0, 1:0, 2:1, 3:0, 4:0, 8:1, 9:1, 10:1, 11:0><0:0, 1:0, 2:1, 3:0, 4:1, 6:1, 8:0, 9:0, 10:0, 11:1><0:0, 1:0, 2:1, 3:0, 4:1, 6:1, 8:0, 9:0, 10:1, 11:0><0:0, 1:0, 2:1, 3:0, 4:1, 6:1, 8:1, 9:1, 10:0, 11:1><0:0, 1:0, 2:1, 3:0, 4:1, 6:1, 8:1, 9:1, 10:1, 11:0><0:0, 1:1, 2:1, 4:0, 8:0, 9:1><0:0, 1:1, 2:1, 4:1, 6:1, 8:0, 9:1><0:1, 1:0, 3:0, 4:0, 8:0, 9:0, 10:0, 11:1><0:1, 1:0, 3:0, 4:0, 8:0, 9:0, 10:1, 11:0><0:1, 1:0, 3:0, 4:0, 8:1, 9:1, 10:0, 11:1><0:1, 1:0, 3:0, 4:0, 8:1, 9:1, 10:1, 11:0><0:1, 1:0, 3:0, 4:1, 6:1, 8:0, 9:0, 10:0, 11:1><0:1, 1:0, 3:0, 4:1, 6:1, 8:0, 9:0, 10:1, 11:0><0:1, 1:0, 3:0, 4:1, 6:1, 8:1, 9:1, 10:0, 11:1><0:1, 1:0, 3:0, 4:1, 6:1, 8:1, 9:1, 10:1, 11:0><0:1, 1:0, 3:1, 4:0, 8:0, 9:1><0:1, 1:0, 3:1, 4:1, 6:1, 8:0, 9:1><0:1, 1:1, 2:0, 3:1, 4:0, 8:0, 9:1><0:1, 1:1, 2:0, 3:1, 4:1, 6:1, 8:0, 9:1><0:1, 1:1, 2:1, 3:0, 4:0, 8:0, 9:1><0:1, 1:1, 2:1, 3:0, 4:1, 6:1, 8:0, 9:1>
  ghmap[5,3].size = 9
  bdd:
<0:0, 1:0, 2:1, 3:0, 4:0, 8:0, 9:1><0:0, 1:0, 2:1, 3:0, 4:1, 6:1, 8:0, 9:1><0:1, 1:0, 3:0, 4:0, 8:0, 9:1><0:1, 1:0, 3:0, 4:1, 6:1, 8:0, 9:1>

 Colpartition: 3
 Netpatitions
  Netpartition: 0
   exp_size: 7
   varsetf: <0:1, 2:1>
   varsetb: <1:1, 3:1>
  Netpartition: 1
   exp_size: 0
   varsetf: <8:1, 10:1>
   varsetb: <9:1, 11:1>

 g-h map
  ghmap[0,0].size = 6
  bdd:
<0:0, 1:0, 2:0, 3:0, 4:1, 6:0>
  ghmap[1,-1].size = 7
  bdd:
<0:0, 1:0, 2:0, 3:1, 4:1, 6:0><0:0, 1:1, 2:0, 4:1, 6:0>
  ghmap[1,0].size = 9
  bdd:
<0:0, 1:0, 2:1, 3:1, 4:1, 6:0><0:1, 1:1, 2:0, 3:0, 4:1, 6:0><0:1, 1:1, 2:1, 3:1, 4:1, 6:0>
  ghmap[1,1].size = 10
  bdd:
<0:0, 1:0, 2:0, 3:0, 4:0><0:0, 1:0, 2:0, 3:0, 4:1, 6:1><0:0, 1:0, 2:1, 3:0, 4:1, 6:0><0:1, 1:0, 3:0, 4:1, 6:0>
  ghmap[2,0].size = 13
  bdd:
<0:0, 1:0, 2:0, 3:1, 4:0><0:0, 1:0, 2:0, 3:1, 4:1, 6:1><0:0, 1:1, 2:0, 4:0><0:0, 1:1, 2:0, 4:1, 6:1><0:0, 1:1, 2:1, 4:1, 6:0><0:1, 1:0, 3:1, 4:1, 6:0><0:1, 1:1, 2:0, 3:1, 4:1, 6:0><0:1, 1:1, 2:1, 3:0, 4:1, 6:0>
  ghmap[2,1].size = 9
  bdd:
<0:0, 1:0, 2:1, 3:1, 4:0><0:0, 1:0, 2:1, 3:1, 4:1, 6:1><0:1, 1:1, 2:0, 3:0, 4:0><0:1, 1:1, 2:0, 3:0, 4:1, 6:1><0:1, 1:1, 2:1, 3:1, 4:0><0:1, 1:1, 2:1, 3:1, 4:1, 6:1>
  ghmap[2,2].size = 7
  bdd:
<0:0, 1:0, 2:1, 3:0, 4:0><0:0, 1:0, 2:1, 3:0, 4:1, 6:1><0:1, 1:0, 3:0, 4:0><0:1, 1:0, 3:0, 4:1, 6:1>
  ghmap[3,1].size = 9
  bdd:
<0:0, 1:1, 2:1, 4:0><0:0, 1:1, 2:1, 4:1, 6:1><0:1, 1:0, 3:1, 4:0><0:1, 1:0, 3:1, 4:1, 6:1><0:1, 1:1, 2:0, 3:1, 4:0><0:1, 1:1, 2:0, 3:1, 4:1, 6:1><0:1, 1:1, 2:1, 3:0, 4:0><0:1, 1:1, 2:1, 3:0, 4:1, 6:1>

 Colpartition: 4
 Netpatitions
  Netpartition: 0
   exp_size: 0
   varsetf: <0:1, 2:1>
   varsetb: <1:1, 3:1>

 g-h map
  ghmap[0,0].size = 2
  bdd:
<0:0, 2:0>
  ghmap[1,1].size = 2
  bdd:
<0:0, 2:1><0:1>


Cost graph for each net
 Cost graph of net: 0
 Birthcol=0
 Deathcol=4
 Totalcost=0
 Vertexes in cost graph:
  [-1,0] value=0
  [0,0] value=0
  [0,1] value=1
  [0,2] value=1
  [0,3] value=1
  [1,0] value=0
  [1,1] value=1
  [1,2] value=1
  [1,3] value=1
  [2,0] value=0
  [2,1] value=1
  [2,2] value=1
  [2,3] value=1
  [3,0] value=0
  [3,1] value=1
  [3,2] value=1
  [3,3] value=1
  [4,0] value=0

 Cost graph of net: 1
 Birthcol=0
 Deathcol=2
 Totalcost=1
 Vertexes in cost graph:
  [-1,0] value=1
  [0,0] value=1
  [0,1] value=1
  [0,2] value=0
  [0,3] value=1
  [1,0] value=1
  [1,1] value=1
  [1,2] value=0
  [1,3] value=1
  [2,0] value=0

 Cost graph of net: 2
 Birthcol=1
 Deathcol=3
 Totalcost=1
 Vertexes in cost graph:
  [0,0] value=1
  [1,0] value=1
  [1,1] value=1
  [1,2] value=0
  [1,3] value=0
  [2,0] value=1
  [2,1] value=1
  [2,2] value=0
  [2,3] value=0
  [3,0] value=0

